//]]>
Unhighlight Highlight
Formal Methods for Model-Driven Engineering by Bernardo, Marco. Publication: . VII, 439 p. 158 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Eternal Networked Software Systems by Bernardo, Marco. Publication: . VIII, 527p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Quantitative Aspects of Programming Languages by Aldini, Alessandro. Publication: . VII, 169p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Process Algebraic Approach to Software Architecture Design by Aldini, Alessandro. Publication: . XV, 304p. 60 illus., 30 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages: 
English |
العربية